701. Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992: proceedings
المؤلف: A. Pettorossi, ed
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
649
702. Meta-programmming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic programming-- Congresses
رده :
QA
76
.
63
.
I567
1992
703. Methodologies for Intelligent Systems, 4: Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems held October 12-14, 1989, in Charlotte, North Carolina
المؤلف:
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Artificial intelligence- Congresses,Reasoning- Congresses,Knowledge, Theory of- Congresses,Logic, Symbolic and mathematical- Congresses
رده :
Q
،
334
،.
I576
،
1989
704. Methodologies for intelligent systems, 4 : Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, held October 12-14, 1989, in Charlotte, North Carolina
المؤلف: editor, Zbigniew W. Ras
المکتبة: (طهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Knowledge, Theory of,Congresses ، Logic, Symbolic and mathematical
رده :
Q
334
.
I576
1989
705. Methods and Methodologies
المؤلف: \ edited by Margaret Cameron and John Marenbon.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Aristotle,Logic, Medieval, Congresses.,Muslim logicians, Congresses.
رده :
BC
34
.
M48
2011
E-book
,
706. Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium
المؤلف: Walter A. Carnielli and Luiz Paulo de Alcantara
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L37
1985
707. Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985
المؤلف: Latin-American Symposium on Mathematical Logic )7th: 5891: State University of Campinas(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical-- Congresses
رده :
QA
9
.
A1
.
L37
1985
708. Methods & applications of mathematical logic:proceedings of the
المؤلف:
المکتبة: (طهران)
موضوع: LOGIC,SYMBOLIC & MATHEMATICAL-CONGRESSES
رده :
QA
9
.
A1
L37
1985
709. Methods in mathematical logic: proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
پدیدآورنده :
موضوع : Congresses ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
710. Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983
المؤلف: edited by C. A. Di Prisco
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
1130
711. Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
المؤلف: edited by C.A. Di Prisco
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
1130
712. Methods in mathematical logic, proceedings of the 6th Latin American symposium an Mathematical Logic 1-6, 1983
المؤلف: edited by C. A. Diprisco
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
1130
713. Modern uses of multiple-valued logic : invited papers from the Fifth International Symposium on Multiple-Valued Logic, held at Indiana University, Bloomington, Indiana, May 13-16, 1975
المؤلف: edited by J. Michael Dunn and George Epstein ; with a bibliography of many-valued logic by Robert G. Wolf
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Many-valued logic
رده :
QA
9
.
45
.
I57
1977
714. Multi-agent systems and agreement technologies :
المؤلف: Francesco Belardinelli, Estefanía Argente (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Multiagent systems, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer security.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Expert systems / knowledge-based systems.,Mathematical theory of computation.,Mathematics-- Logic.,Multiagent systems.,Software Engineering.
رده :
QA76
.
76
.
I58
715. NAFIPS'2003: 22nd International Conference of the North American Fuzzy Information Proceedings, Chicago, Illinois, USA, July 24-26, 2003
المؤلف: edited by Ellen L. Walker
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Fuzzy logic,Congresses ، Fuzzy systems
رده :
TJ
217
.
5
.
N345
2003
716. Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989
المؤلف: R. Studer ed
المکتبة: (طهران)
موضوع: Congresses ، Natural language processing )Computer science(,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
459
717. Natural language understanding and logic programming, II
المؤلف: / edited by Veronica Dahl and Patrick Saint-Dizier
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Programming languages (Electronic computers)- Semantics- Congresses,Logic programming- Congresses
رده :
QA76
.
7
.
I578
1987
718. Natural language understanding and logic programming, II. : Proceedings of the...17-19 Aug., 1987
المؤلف: edited by Veronica Dahl and Patrick Saint-Dizier
المکتبة: (طهران)
موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Logic programming
رده :
QA
76
.
63
.
I58
1987
719. Natural language understanding and logic programming , III
المؤلف: / edited by Charles Grant Brown, Gregers Koch
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Logic programming -- Congresses,Natural language processing(Computer science) -- Congresses
رده :
QA
76
.
63
.
I58
1991
720. Natural language understanding and logic programming, III : Proceedings of the third International Workshop on Natural Language Understanding and Logic Programming, Stockholm, Sweden, 23-25 Jan., 1991
المؤلف: edited by Charles Grant Brown, Gregers Koch
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
63
.
I58
1991
